هدف: این پژوهش با هدف فهم و سنجش پتانسیلهای فلسفۀ چگونگی اسلامی در مسیر کاربردی شدن انجام شده است. روش: این پژوهش کیفی با روش اسنادی انجام شده و طرح پژوهش از نوع حدوثی و پیدایشی است. یافته‌ها:<...

پژوهش حاضر با هدف بررسی رابطه بهوشمندی و ارضای نیازهای بنیادی روان شناختی در بیماران دیابتی و افراد سالم انجام شد. جامعه آماری پژوهش حاضر شامل بیماران دیابتی مراجعه کننده به کلینیک دیابت بیمارستان شهید بهشتی شهرستان قروه و کارکنان آن بیمارستان بود. نمونه تحقیق با حجم 200 نفر (100 نفر بیمار، 100 نفر سالم) به روش نمونه گیری در دسترس انتخاب گردید. برای گرد آوری اطلاعات از سه پرسشنامه ی مقیاس بهوشم...

در این مقاله ما کنش گرانش تا توانهای دوم اسکالر ریچی و اسکالرهای ساخته شده از تانسور انحنا و تانسور ریچی را که در واقع کنش گرانش با مشتقات بالاتر تا مرتبه دو می باشد مورد بررسی قرار می دهیم. با استفاده از اتحاد باخ - لانچوز مربوط به تانسور وایل در چهار بعد نشان می دهیم که جوابهای معادلات اینشتین با ثابت کیهان شناسی در خلا که به متریکهای اینشتین مشهور می باشند, معادلات میدان گرانش مشتقات بالاتر ...

در این تحقیق جهت بررسی اثر انفجار بر سازه و تعیین سطح عملکرد آن تحت انفجار، یک ساختمان با سیستم قاب خمشی بتنی، بر اساس استاندارد زلزله 84-2800 ایران طراحی و سپس یک قاب نمونه از آن به صورت سه بعدی توسط نرم افزار آباکوس مدلسازی شده است. بارگذاری انفجاری بر اساس پیشنویس مبحث بیست و یکم مقررات ملی ساختمان بر این قاب اعمال و با لحاظ نمودن آثار غیرخطی مصالح و هندسه، تحلیل صورت گرفته است. در نهایت بر ...

یکی از رایج ترین سیستم ها برای مقابله با بارهای جانبی در سازه های فولادی، سیستم بادبندی است. با توجه به اینکه موقعیت بادبندها بر هزینه المان های سازه ای و هزینه فونداسیون و در نتیجه هزینه کل سازه تاثیر می گذارد، به منظور کاهش هزینه ها و هدر ندادن منابع طبیعی، بهینه یابی موقعیت بادبندها بسیار حائز اهمیت است. هدف اصلی این پایان نامه بهینه یابی توپولوژی و اندازه است که در این راه از الگوریتم ژنتیک...

قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...